Một tập A {\displaystyle A} trong không gian tôpô X {\displaystyle X} gọi là compact tương đối nếu bao đóng của A {\displaystyle A} , ký hiệu là cl ( A ) {\displaystyle {\text{cl}}(A)} hoặc A ¯ {\displaystyle {\ce {\overline {A}}}} , là tập compact.Ví dụ: